TIMEOUT

We are left with following problem, upon which TcT provides the
certificate TIMEOUT.

Strict Trs:
  { ite(tt(), u, v) -> u
  , ite(ff(), u, v) -> v
  , find(u, v, nil()) -> ff()
  , find(u, v, cons(cons(u, v), E)) -> tt()
  , find(u, v, cons(cons(u2, v2), E)) -> find(u, v, E)
  , complete(u, nil(), E) -> tt()
  , complete(u, cons(v, S), E) ->
    ite(find(u, v, E), complete(u, S, E), ff())
  , clique(nil(), E) -> tt()
  , clique(cons(u, K), E) ->
    ite(complete(u, K, E), clique(K, E), ff()) }
Obligation:
  innermost runtime complexity
Answer:
  TIMEOUT

Computation stopped due to timeout after 10.0 seconds.

Arrrr..